#Density : 1038698493670281100971801059/3200000000000000000000000000

Program                      : VertexInducedHypercubeDensityChecker

Dimension of subcubes H      : 4
Number of induced hypercubes : 1
Induced hypercubes           :
4 : {5, 6, 8, 11, 13, 14}
Number of terms              : 19


--- Term 1 ---

Dimension of type  : 0
Dimension of flags : 2
Number of flags    : 6
Matrix dimension   : 6

Flags :
F1 : {0}
F2 : {0, 2}
F3 : {0, 3}
F4 : {0, 2, 3}
F5 : {0, 1, 2}
F6 : {0, 1, 2, 3}

Basis :
B1 : (F1)
B2 : (F2)
B3 : (F3)
B4 : (F4)
B5 : (F5)
B6 : (F6)

Matrix :
0/1 0/1 0/1 0/1 0/1 0/1
0/1 66426600257127360712367/62500000000000000000000000 0/1 102153226825645021829587/125000000000000000000000000 206241480756107582379639/62500000000000000000000000 -33219879722986858742177/3906250000000000000000000
0/1 0/1 0/1 0/1 0/1 0/1
0/1 102153226825645021829587/125000000000000000000000000 0/1 2577783701744197458716067/125000000000000000000000000 -2271368968748571575201141/125000000000000000000000000 -204346923381398802819501/31250000000000000000000000
0/1 206241480756107582379639/62500000000000000000000000 0/1 -2271368968748571575201141/125000000000000000000000000 974740207172260578430027/15625000000000000000000000 -1650258711987649565715029/62500000000000000000000000
0/1 -33219879722986858742177/3906250000000000000000000 0/1 -204346923381398802819501/31250000000000000000000000 -1650258711987649565715029/62500000000000000000000000 4252986959466950529165069/62500000000000000000000000


--- Term 2 ---

Dimension of type  : 0
Dimension of flags : 2
Number of flags    : 6
Matrix dimension   : 6

Flags :
F1 : {}
F2 : {2}
F3 : {3}
F4 : {2, 3}
F5 : {1, 2}
F6 : {1, 2, 3}

Basis :
B1 : (F1)
B2 : (F2)
B3 : (F3)
B4 : (F4)
B5 : (F5)
B6 : (F6)

Matrix :
16229663829458382058811491/50000000000000000000000000 14210937201342336424717351/25000000000000000000000000 -67794649240744545826640353/62500000000000000000000000 283297774395344546602817431/500000000000000000000000000 -114755556627544271495033119/250000000000000000000000000 -19993918047272320714346577/62500000000000000000000000
14210937201342336424717351/25000000000000000000000000 204326659139591149662929069/125000000000000000000000000 -623626623106650314850276563/250000000000000000000000000 70062048652096653405574167/250000000000000000000000000 -99693619001035592484827241/125000000000000000000000000 -125142970410715389517664787/125000000000000000000000000
-67794649240744545826640353/62500000000000000000000000 -623626623106650314850276563/250000000000000000000000000 417861636277492147202097563/100000000000000000000000000 -2403720511341809119134911/1953125000000000000000000 191009502739229873361476737/125000000000000000000000000 369862568386385015562949131/250000000000000000000000000
283297774395344546602817431/500000000000000000000000000 70062048652096653405574167/250000000000000000000000000 -2403720511341809119134911/1953125000000000000000000 1782159017665866227403047791/1000000000000000000000000000 -404135896682372830365812719/500000000000000000000000000 -8404559200075657009485273/125000000000000000000000000
-114755556627544271495033119/250000000000000000000000000 -99693619001035592484827241/125000000000000000000000000 191009502739229873361476737/125000000000000000000000000 -404135896682372830365812719/500000000000000000000000000 162296638141638189391794283/250000000000000000000000000 28002488726828233532257863/62500000000000000000000000
-19993918047272320714346577/62500000000000000000000000 -125142970410715389517664787/125000000000000000000000000 369862568386385015562949131/250000000000000000000000000 -8404559200075657009485273/125000000000000000000000000 28002488726828233532257863/62500000000000000000000000 81679048113393776903097753/125000000000000000000000000


--- Term 3 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 4
Matrix dimension   : 4

Flags :
F1 : {1}
F2 : {1, 2}
F3 : {1, 3}
F4 : {1, 2, 3}

Basis :
B1 : (F1)
B2 : (F2)
B3 : (F3)
B4 : (F4)

Matrix :
0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1
0/1 0/1 0/1 13000123/1000000000


--- Term 4 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 4
Matrix dimension   : 3

Flags :
F1 : {0, 1}
F2 : {0, 1, 2}
F3 : {0, 1, 3}
F4 : {0, 1, 2, 3}

Basis :
B1 : (F1)
B2 : (F2)+(F3)
B3 : (F4)

Matrix :
419575238909906724263703/500000000000000000000000000 95370443022779133259953/500000000000000000000000000 -419658355842607520072469/125000000000000000000000000
95370443022779133259953/500000000000000000000000000 2284327921534857142551439/500000000000000000000000000 -47694668127956049359453/62500000000000000000000000
-419658355842607520072469/125000000000000000000000000 -47694668127956049359453/62500000000000000000000000 3357931913924720101308353/250000000000000000000000000


--- Term 5 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 2
Matrix dimension   : 1

Flags :
F1 : {0, 1, 2}
F2 : {0, 1, 3}

Basis :
B1 : (F2)-(F1)

Matrix :
14977407/1000000000


--- Term 6 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 4
Matrix dimension   : 3

Flags :
F1 : {}
F2 : {2}
F3 : {3}
F4 : {2, 3}

Basis :
B1 : (F1)
B2 : (F2)+(F3)
B3 : (F4)

Matrix :
0/1 0/1 0/1
0/1 0/1 0/1
0/1 0/1 0/1


--- Term 7 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 2
Matrix dimension   : 1

Flags :
F1 : {2}
F2 : {3}

Basis :
B1 : (F2)-(F1)

Matrix :
0/1


--- Term 8 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 12

Flags :
F1  : {3}
F2  : {3, 4}
F3  : {3, 5}
F4  : {3, 4, 5}
F5  : {3, 6}
F6  : {3, 4, 6}
F7  : {3, 5, 6}
F8  : {3, 4, 5, 6}
F9  : {3, 7}
F10 : {3, 4, 7}
F11 : {3, 5, 7}
F12 : {3, 4, 5, 7}
F13 : {3, 6, 7}
F14 : {3, 4, 6, 7}
F15 : {3, 5, 6, 7}
F16 : {3, 4, 5, 6, 7}

Basis :
B1  : (F1)
B2  : (F2)
B3  : (F3)+(F5)
B4  : (F4)+(F6)
B5  : (F7)
B6  : (F8)
B7  : (F9)
B8  : (F10)
B9  : (F11)+(F13)
B10 : (F12)+(F14)
B11 : (F15)
B12 : (F16)

Matrix :
2167831759052382119596038137/1000000000000000000000000000 423341936405671129380855917/250000000000000000000000000 37574161808233406797384737/250000000000000000000000000 -88166602101536973967376537/1000000000000000000000000000 -1867238456545627496014044591/1000000000000000000000000000 -526180708960292237903917443/1000000000000000000000000000 -46523976248985431065244597/1000000000000000000000000000 -15551756643967203154401761/50000000000000000000000000 -265279905353368585704066149/1000000000000000000000000000 566685685327595238712712173/1000000000000000000000000000 -417159706646104783647079249/200000000000000000000000000 -86148229643199653577221891/100000000000000000000000000
423341936405671129380855917/250000000000000000000000000 2122108316374308308916454147/500000000000000000000000000 117401865364050328873213979/1000000000000000000000000000 -68869956406128091261240727/1000000000000000000000000000 -14585640039328406378565693/10000000000000000000000000 -1964793405865020684173203539/1000000000000000000000000000 -342661380796341366866918947/1000000000000000000000000000 -3037002638303905841249983/12500000000000000000000000 -215078741584101235809434551/1000000000000000000000000000 51539385352713369183571943/100000000000000000000000000 -1710999596803910889380158633/1000000000000000000000000000 -2131054469483365804559907773/1000000000000000000000000000
37574161808233406797384737/250000000000000000000000000 117401865364050328873213979/1000000000000000000000000000 10420126965634638259492763/1000000000000000000000000000 -611262596299150224764643/100000000000000000000000000 -12945639274418640106602111/100000000000000000000000000 -18240159136364141095742901/500000000000000000000000000 -3225526039093187886903723/1000000000000000000000000000 -10782095392829290435676297/500000000000000000000000000 -18391962461541936060739767/1000000000000000000000000000 306941765363202404852259/7812500000000000000000000 -28921850143980326830825379/200000000000000000000000000 -29863457015513265899084243/500000000000000000000000000
-88166602101536973967376537/1000000000000000000000000000 -68869956406128091261240727/1000000000000000000000000000 -611262596299150224764643/100000000000000000000000000 896442919713553697060559/250000000000000000000000000 75941349848527802459400953/1000000000000000000000000000 5349995690000727600854527/250000000000000000000000000 1892149273680603652034737/1000000000000000000000000000 790620359653714113154403/62500000000000000000000000 10789041982211620746964261/1000000000000000000000000000 -23047337688206829779981633/1000000000000000000000000000 16966055479340240199762189/200000000000000000000000000 35036836259010861532868927/1000000000000000000000000000
-1867238456545627496014044591/1000000000000000000000000000 -14585640039328406378565693/10000000000000000000000000 -12945639274418640106602111/100000000000000000000000000 75941349848527802459400953/1000000000000000000000000000 1608325664131323265985533561/1000000000000000000000000000 90644013111921077751736957/200000000000000000000000000 40072924202556766807376983/1000000000000000000000000000 5358135003086805860412271/20000000000000000000000000 228495979424808650167998427/1000000000000000000000000000 -488108590154135374110097733/1000000000000000000000000000 1796580023935581983686693889/1000000000000000000000000000 185507115724041490063492221/250000000000000000000000000
-526180708960292237903917443/1000000000000000000000000000 -1964793405865020684173203539/1000000000000000000000000000 -18240159136364141095742901/500000000000000000000000000 5349995690000727600854527/250000000000000000000000000 90644013111921077751736957/200000000000000000000000000 2489118813233307528131930779/1000000000000000000000000000 4103731644136765005453733/125000000000000000000000000 75495104450214933839975863/1000000000000000000000000000 34172815437923595466670617/500000000000000000000000000 -107805459632078613340078831/250000000000000000000000000 446397730684469249974870249/1000000000000000000000000000 119072228220324189430946031/200000000000000000000000000
-46523976248985431065244597/1000000000000000000000000000 -342661380796341366866918947/1000000000000000000000000000 -3225526039093187886903723/1000000000000000000000000000 1892149273680603652034737/1000000000000000000000000000 40072924202556766807376983/1000000000000000000000000000 4103731644136765005453733/125000000000000000000000000 816910104580905553160214139/1000000000000000000000000000 6675144882053211875373771/1000000000000000000000000000 4332501398724273605181433/1000000000000000000000000000 -16054023932228315698845409/125000000000000000000000000 -20457994506507806035218843/500000000000000000000000000 -11275778900417102995779303/250000000000000000000000000
-15551756643967203154401761/50000000000000000000000000 -3037002638303905841249983/12500000000000000000000000 -10782095392829290435676297/500000000000000000000000000 790620359653714113154403/62500000000000000000000000 5358135003086805860412271/20000000000000000000000000 75495104450214933839975863/1000000000000000000000000000 6675144882053211875373771/1000000000000000000000000000 44626550691166244816665739/1000000000000000000000000000 38061703942951269460411521/1000000000000000000000000000 -81306659070894866552214597/1000000000000000000000000000 74816302200415753752849103/250000000000000000000000000 61801673720749936753471149/500000000000000000000000000
-265279905353368585704066149/1000000000000000000000000000 -215078741584101235809434551/1000000000000000000000000000 -18391962461541936060739767/1000000000000000000000000000 10789041982211620746964261/1000000000000000000000000000 228495979424808650167998427/1000000000000000000000000000 34172815437923595466670617/500000000000000000000000000 4332501398724273605181433/1000000000000000000000000000 38061703942951269460411521/1000000000000000000000000000 48652694207606605637500891/1000000000000000000000000000 -37762046354831698629602437/500000000000000000000000000 124762622238789447037657473/500000000000000000000000000 26999224499467530997395369/250000000000000000000000000
566685685327595238712712173/1000000000000000000000000000 51539385352713369183571943/100000000000000000000000000 306941765363202404852259/7812500000000000000000000 -23047337688206829779981633/1000000000000000000000000000 -488108590154135374110097733/1000000000000000000000000000 -107805459632078613340078831/250000000000000000000000000 -16054023932228315698845409/125000000000000000000000000 -81306659070894866552214597/1000000000000000000000000000 -37762046354831698629602437/500000000000000000000000000 11884755392725542286929137/12500000000000000000000000 -574343096578814608453046343/1000000000000000000000000000 -112704009928886498880419409/250000000000000000000000000
-417159706646104783647079249/200000000000000000000000000 -1710999596803910889380158633/1000000000000000000000000000 -28921850143980326830825379/200000000000000000000000000 16966055479340240199762189/200000000000000000000000000 1796580023935581983686693889/1000000000000000000000000000 446397730684469249974870249/1000000000000000000000000000 -20457994506507806035218843/500000000000000000000000000 74816302200415753752849103/250000000000000000000000000 124762622238789447037657473/500000000000000000000000000 -574343096578814608453046343/1000000000000000000000000000 145788024328314404343905859/62500000000000000000000000 413439215566981221389655927/500000000000000000000000000
-86148229643199653577221891/100000000000000000000000000 -2131054469483365804559907773/1000000000000000000000000000 -29863457015513265899084243/500000000000000000000000000 35036836259010861532868927/1000000000000000000000000000 185507115724041490063492221/250000000000000000000000000 119072228220324189430946031/200000000000000000000000000 -11275778900417102995779303/250000000000000000000000000 61801673720749936753471149/500000000000000000000000000 26999224499467530997395369/250000000000000000000000000 -112704009928886498880419409/250000000000000000000000000 413439215566981221389655927/500000000000000000000000000 2647688680278395086361684627/1000000000000000000000000000


--- Term 9 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 8
Matrix dimension   : 4

Flags :
F1 : {3, 5}
F2 : {3, 4, 5}
F3 : {3, 6}
F4 : {3, 4, 6}
F5 : {3, 5, 7}
F6 : {3, 4, 5, 7}
F7 : {3, 6, 7}
F8 : {3, 4, 6, 7}

Basis :
B1 : (F3)-(F1)
B2 : (F4)-(F2)
B3 : (F7)-(F5)
B4 : (F8)-(F6)

Matrix :
162936805832755039537676973/31250000000000000000000000 -1259431488014341181355475167/500000000000000000000000000 333010454862362379606015261/62500000000000000000000000 -293329907990616664349586573/250000000000000000000000000
-1259431488014341181355475167/500000000000000000000000000 1216858021193600502715754301/1000000000000000000000000000 -1287013853466669863498121679/500000000000000000000000000 141707133029576399473860079/250000000000000000000000000
333010454862362379606015261/62500000000000000000000000 -1287013853466669863498121679/500000000000000000000000000 85343142736246057838098563/15625000000000000000000000 -299439319439019155166097897/250000000000000000000000000
-293329907990616664349586573/250000000000000000000000000 141707133029576399473860079/250000000000000000000000000 -299439319439019155166097897/250000000000000000000000000 284020542759370746827016653/125000000000000000000000000


--- Term 10 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 10

Flags :
F1  : {2, 3}
F2  : {2, 3, 4}
F3  : {2, 3, 5}
F4  : {2, 3, 4, 5}
F5  : {2, 3, 6}
F6  : {2, 3, 4, 6}
F7  : {2, 3, 5, 6}
F8  : {2, 3, 4, 5, 6}
F9  : {2, 3, 7}
F10 : {2, 3, 4, 7}
F11 : {2, 3, 5, 7}
F12 : {2, 3, 4, 5, 7}
F13 : {2, 3, 6, 7}
F14 : {2, 3, 4, 6, 7}
F15 : {2, 3, 5, 6, 7}
F16 : {2, 3, 4, 5, 6, 7}

Basis :
B1  : (F1)
B2  : (F2)+(F3)
B3  : (F4)
B4  : (F5)+(F9)
B5  : (F6)+(F11)
B6  : (F7)+(F10)
B7  : (F8)+(F12)
B8  : (F13)
B9  : (F14)+(F15)
B10 : (F16)

Matrix :
878659819973329411577629807/500000000000000000000000000 -1137931245950171248780672161/1000000000000000000000000000 689667122915421888095047403/500000000000000000000000000 -64965680640713555679677367/1000000000000000000000000000 39211087025239009534080439/50000000000000000000000000 137788658802234502466192643/500000000000000000000000000 -382153867970432001018899567/500000000000000000000000000 -8703081617641397889378627/200000000000000000000000000 130093961791027294239948121/500000000000000000000000000 -1354559659049400877933673449/1000000000000000000000000000
-1137931245950171248780672161/1000000000000000000000000000 41378630648902375259952601/12500000000000000000000000 -871592918990821982220003429/200000000000000000000000000 410134043817672076476316861/500000000000000000000000000 -2503453748295406039491456281/1000000000000000000000000000 -36188939053861986446084397/100000000000000000000000000 -50579510583785196023388801/200000000000000000000000000 378638468632605403172505801/500000000000000000000000000 -21881998264067894982657137/62500000000000000000000000 22193579025677111302612341/31250000000000000000000000
689667122915421888095047403/500000000000000000000000000 -871592918990821982220003429/200000000000000000000000000 5828994250241659259819656123/1000000000000000000000000000 -306527817175323041731550167/250000000000000000000000000 3279020547897696445106736831/1000000000000000000000000000 413147695038014811088929999/1000000000000000000000000000 736246918351916758140931479/1000000000000000000000000000 -1164518403507112433388887363/1000000000000000000000000000 357961249788051394743364951/1000000000000000000000000000 -596452517455972228626933983/1000000000000000000000000000
-64965680640713555679677367/1000000000000000000000000000 410134043817672076476316861/500000000000000000000000000 -306527817175323041731550167/250000000000000000000000000 230777466857491198685138747/500000000000000000000000000 -589736184691881483481759043/1000000000000000000000000000 22097001419267413840572587/1000000000000000000000000000 -191182901529703318910044911/250000000000000000000000000 227326817715111197788826021/500000000000000000000000000 22577455327686118718548609/250000000000000000000000000 -407030845707775787447068189/1000000000000000000000000000
39211087025239009534080439/50000000000000000000000000 -2503453748295406039491456281/1000000000000000000000000000 3279020547897696445106736831/1000000000000000000000000000 -589736184691881483481759043/1000000000000000000000000000 1640817220047324682255925391/500000000000000000000000000 -99993709183953735276448489/1000000000000000000000000000 -44900364987253161708768357/1000000000000000000000000000 -108423126545147794760314409/200000000000000000000000000 55263536733295557317616557/500000000000000000000000000 -659541543888491953166018261/1000000000000000000000000000
137788658802234502466192643/500000000000000000000000000 -36188939053861986446084397/100000000000000000000000000 413147695038014811088929999/1000000000000000000000000000 22097001419267413840572587/1000000000000000000000000000 -99993709183953735276448489/1000000000000000000000000000 746774994245668754969152321/1000000000000000000000000000 -426314321367693199362796881/1000000000000000000000000000 3274504913915334817127897/100000000000000000000000000 -25418876758272823653004697/1000000000000000000000000000 -227099768156866431906867837/500000000000000000000000000
-382153867970432001018899567/500000000000000000000000000 -50579510583785196023388801/200000000000000000000000000 736246918351916758140931479/1000000000000000000000000000 -191182901529703318910044911/250000000000000000000000000 -44900364987253161708768357/1000000000000000000000000000 -426314321367693199362796881/1000000000000000000000000000 2720498790601358395234297643/1000000000000000000000000000 -794236026315925553122543939/1000000000000000000000000000 -657901673051425856360973601/1000000000000000000000000000 1526821292894226582543759317/1000000000000000000000000000
-8703081617641397889378627/200000000000000000000000000 378638468632605403172505801/500000000000000000000000000 -1164518403507112433388887363/1000000000000000000000000000 227326817715111197788826021/500000000000000000000000000 -108423126545147794760314409/200000000000000000000000000 3274504913915334817127897/100000000000000000000000000 -794236026315925553122543939/1000000000000000000000000000 239598388998623524303083307/500000000000000000000000000 53945911780688212137246237/500000000000000000000000000 -91120610321825786724897089/200000000000000000000000000
130093961791027294239948121/500000000000000000000000000 -21881998264067894982657137/62500000000000000000000000 357961249788051394743364951/1000000000000000000000000000 22577455327686118718548609/250000000000000000000000000 55263536733295557317616557/500000000000000000000000000 -25418876758272823653004697/1000000000000000000000000000 -657901673051425856360973601/1000000000000000000000000000 53945911780688212137246237/500000000000000000000000000 225446112780714698176476537/250000000000000000000000000 -40324137721940231391226121/62500000000000000000000000
-1354559659049400877933673449/1000000000000000000000000000 22193579025677111302612341/31250000000000000000000000 -596452517455972228626933983/1000000000000000000000000000 -407030845707775787447068189/1000000000000000000000000000 -659541543888491953166018261/1000000000000000000000000000 -227099768156866431906867837/500000000000000000000000000 1526821292894226582543759317/1000000000000000000000000000 -91120610321825786724897089/200000000000000000000000000 -40324137721940231391226121/62500000000000000000000000 1556538538701534258320159619/500000000000000000000000000


--- Term 11 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 12
Matrix dimension   : 6

Flags :
F1  : {2, 3, 4}
F2  : {2, 3, 5}
F3  : {2, 3, 6}
F4  : {2, 3, 4, 6}
F5  : {2, 3, 5, 6}
F6  : {2, 3, 4, 5, 6}
F7  : {2, 3, 7}
F8  : {2, 3, 4, 7}
F9  : {2, 3, 5, 7}
F10 : {2, 3, 4, 5, 7}
F11 : {2, 3, 4, 6, 7}
F12 : {2, 3, 5, 6, 7}

Basis :
B1 : (F2)-(F1)
B2 : (F7)-(F3)
B3 : (F9)-(F4)
B4 : (F8)-(F5)
B5 : (F10)-(F6)
B6 : (F12)-(F11)

Matrix :
0/1 0/1 0/1 0/1 0/1 0/1
0/1 45947302224941859432325873/1000000000000000000000000000 264202576786369049860645281/1000000000000000000000000000 -21933399971124688698420351/125000000000000000000000000 -46753587964605679806894293/1000000000000000000000000000 3810268101328095377199669/25000000000000000000000000
0/1 264202576786369049860645281/1000000000000000000000000000 14792854753586331117035409597/1000000000000000000000000000 -1178321940820358058367875529/125000000000000000000000000 -125264834544272704108951041/1000000000000000000000000000 503703159596288276336905491/62500000000000000000000000
0/1 -21933399971124688698420351/125000000000000000000000000 -1178321940820358058367875529/125000000000000000000000000 958835039923424604562437163/125000000000000000000000000 11369698872517692801777153/250000000000000000000000000 -75469316288182704547764687/12500000000000000000000000
0/1 -46753587964605679806894293/1000000000000000000000000000 -125264834544272704108951041/1000000000000000000000000000 11369698872517692801777153/250000000000000000000000000 68009441538771700842486007/62500000000000000000000000 -2126141969583213897012489/25000000000000000000000000
0/1 3810268101328095377199669/25000000000000000000000000 503703159596288276336905491/62500000000000000000000000 -75469316288182704547764687/12500000000000000000000000 -2126141969583213897012489/25000000000000000000000000 905352887067274651083613741/125000000000000000000000000


--- Term 12 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 9

Flags :
F1  : {1, 2}
F2  : {1, 2, 4}
F3  : {1, 2, 5}
F4  : {1, 2, 4, 5}
F5  : {1, 2, 6}
F6  : {1, 2, 4, 6}
F7  : {1, 2, 5, 6}
F8  : {1, 2, 4, 5, 6}
F9  : {1, 2, 7}
F10 : {1, 2, 4, 7}
F11 : {1, 2, 5, 7}
F12 : {1, 2, 4, 5, 7}
F13 : {1, 2, 6, 7}
F14 : {1, 2, 4, 6, 7}
F15 : {1, 2, 5, 6, 7}
F16 : {1, 2, 4, 5, 6, 7}

Basis :
B1 : (F1)
B2 : (F2)+(F9)
B3 : (F3)+(F5)
B4 : (F4)+(F6)+(F11)+(F13)
B5 : (F7)
B6 : (F8)+(F15)
B7 : (F10)
B8 : (F12)+(F14)
B9 : (F16)

Matrix :
0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1
0/1 0/1 0/1 91465287481599935249715857/1000000000000000000000000000 0/1 -42605458461910413674985551/1000000000000000000000000000 0/1 -1677585010410594447922923/100000000000000000000000000 -10989228939331827681942577/1000000000000000000000000000
0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1
0/1 0/1 0/1 -42605458461910413674985551/1000000000000000000000000000 0/1 339396816955707013856019771/1000000000000000000000000000 0/1 -1505116828577090308219083/100000000000000000000000000 -96146574911767575494333/1600000000000000000000000
0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1
0/1 0/1 0/1 -1677585010410594447922923/100000000000000000000000000 0/1 -1505116828577090308219083/100000000000000000000000000 0/1 45309558225149375088147963/500000000000000000000000000 -25740953080035175261476637/500000000000000000000000000
0/1 0/1 0/1 -10989228939331827681942577/1000000000000000000000000000 0/1 -96146574911767575494333/1600000000000000000000000 0/1 -25740953080035175261476637/500000000000000000000000000 93333123699138005602986573/200000000000000000000000000


--- Term 13 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 12
Matrix dimension   : 7

Flags :
F1  : {1, 2, 4}
F2  : {1, 2, 5}
F3  : {1, 2, 4, 5}
F4  : {1, 2, 6}
F5  : {1, 2, 4, 6}
F6  : {1, 2, 4, 5, 6}
F7  : {1, 2, 7}
F8  : {1, 2, 5, 7}
F9  : {1, 2, 4, 5, 7}
F10 : {1, 2, 6, 7}
F11 : {1, 2, 4, 6, 7}
F12 : {1, 2, 5, 6, 7}

Basis :
B1 : (F7)-(F1)
B2 : (F4)-(F2)
B3 : (F5)-(F3)
B4 : (F8)-(F3)
B5 : (F10)-(F3)
B6 : (F12)-(F6)
B7 : (F11)-(F9)

Matrix :
0/1 0/1 0/1 0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1 0/1 0/1 0/1
0/1 0/1 184762024203074511533172297/50000000000000000000000000 -162570996744541627333473293/200000000000000000000000000 490026145686795583609549/976562500000000000000000 27155088101419546495008957/1000000000000000000000000000 190418362756879461437712373/1000000000000000000000000000
0/1 0/1 -162570996744541627333473293/200000000000000000000000000 3695240484565907821634517269/1000000000000000000000000000 -1692086136708471524124557753/500000000000000000000000000 -27155087454657198634662487/1000000000000000000000000000 -190418361772013443431867027/1000000000000000000000000000
0/1 0/1 490026145686795583609549/976562500000000000000000 -1692086136708471524124557753/500000000000000000000000000 3695240484250112796397194653/1000000000000000000000000000 -27155089349523791550676207/1000000000000000000000000000 7616734482252701412818771/40000000000000000000000000
0/1 0/1 27155088101419546495008957/1000000000000000000000000000 -27155087454657198634662487/1000000000000000000000000000 -27155089349523791550676207/1000000000000000000000000000 124922377159215977520342773/250000000000000000000000000 13399496805345697/250000000000000000000000000
0/1 0/1 190418362756879461437712373/1000000000000000000000000000 -190418361772013443431867027/1000000000000000000000000000 7616734482252701412818771/40000000000000000000000000 13399496805345697/250000000000000000000000000 162839081756090328918924887/500000000000000000000000000


--- Term 14 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 12

Flags :
F1  : {1, 2, 3}
F2  : {1, 2, 3, 4}
F3  : {1, 2, 3, 5}
F4  : {1, 2, 3, 4, 5}
F5  : {1, 2, 3, 6}
F6  : {1, 2, 3, 4, 6}
F7  : {1, 2, 3, 5, 6}
F8  : {1, 2, 3, 4, 5, 6}
F9  : {1, 2, 3, 7}
F10 : {1, 2, 3, 4, 7}
F11 : {1, 2, 3, 5, 7}
F12 : {1, 2, 3, 4, 5, 7}
F13 : {1, 2, 3, 6, 7}
F14 : {1, 2, 3, 4, 6, 7}
F15 : {1, 2, 3, 5, 6, 7}
F16 : {1, 2, 3, 4, 5, 6, 7}

Basis :
B1  : (F1)
B2  : (F2)
B3  : (F3)+(F5)
B4  : (F4)+(F6)
B5  : (F7)
B6  : (F8)
B7  : (F9)
B8  : (F10)
B9  : (F11)+(F13)
B10 : (F12)+(F14)
B11 : (F15)
B12 : (F16)

Matrix :
31274713297335093175173857/1000000000000000000000000000 11647421971769370041235593/125000000000000000000000000 -607095846892080460570847/200000000000000000000000000 106221856981567918262746669/1000000000000000000000000000 3282716909955585340642137/200000000000000000000000000 -27704827940751075384603433/500000000000000000000000000 28911082982710514339834007/1000000000000000000000000000 -20078503610198769958594291/1000000000000000000000000000 10235032578141079698680501/1000000000000000000000000000 -18573935948023153072558093/250000000000000000000000000 20482219929707228368903813/1000000000000000000000000000 -17746263978306833779414697/125000000000000000000000000
11647421971769370041235593/125000000000000000000000000 1189222952895702438900376127/1000000000000000000000000000 -36224340221815572430640157/500000000000000000000000000 81456606038895476215998063/200000000000000000000000000 2633065730546032281405313/125000000000000000000000000 -80229871754756254149214119/250000000000000000000000000 23889777436558820957866159/1000000000000000000000000000 -65697264990148934008039637/1000000000000000000000000000 -2822142946795143295873021/200000000000000000000000000 -47552869781594673364618623/200000000000000000000000000 41150576989816161802161467/1000000000000000000000000000 -267429151036451610103659771/500000000000000000000000000
-607095846892080460570847/200000000000000000000000000 -36224340221815572430640157/500000000000000000000000000 39576868300768495611213657/62500000000000000000000000 -81251717822617127511723537/1000000000000000000000000000 -7632172328757213614620813/500000000000000000000000000 1226434713916410706928907/200000000000000000000000000 -54336971414890893292087159/1000000000000000000000000000 5462784236398834032785763/125000000000000000000000000 -24048028771662170217987137/200000000000000000000000000 -20985294170633979822604457/500000000000000000000000000 -1363607708248591186302039/31250000000000000000000000 11101762515960059668344227/1000000000000000000000000000
106221856981567918262746669/1000000000000000000000000000 81456606038895476215998063/200000000000000000000000000 -81251717822617127511723537/1000000000000000000000000000 1220185507140965974087518929/1000000000000000000000000000 35776798908221728125288847/1000000000000000000000000000 -271469075078183369234906421/1000000000000000000000000000 -14224070545642337224075661/200000000000000000000000000 -6110823867850977423218103/25000000000000000000000000 -28291061287147979030523547/200000000000000000000000000 -382467207582303747251700701/1000000000000000000000000000 65653261565443034068991777/1000000000000000000000000000 -207510684998260854290215997/500000000000000000000000000
3282716909955585340642137/200000000000000000000000000 2633065730546032281405313/125000000000000000000000000 -7632172328757213614620813/500000000000000000000000000 35776798908221728125288847/1000000000000000000000000000 687637266325690655908321327/1000000000000000000000000000 -81182613306024726769107249/1000000000000000000000000000 -5940966777704826068514711/1000000000000000000000000000 -298059377779652704861833/40000000000000000000000000 -6511625370273902939260793/250000000000000000000000000 -39153286236702221930678513/1000000000000000000000000000 -168622221444178433804352167/1000000000000000000000000000 -98477326048656623988763629/1000000000000000000000000000
-27704827940751075384603433/500000000000000000000000000 -80229871754756254149214119/250000000000000000000000000 1226434713916410706928907/200000000000000000000000000 -271469075078183369234906421/1000000000000000000000000000 -81182613306024726769107249/1000000000000000000000000000 66472382542618039051347313/100000000000000000000000000 -23045258927751864388449093/200000000000000000000000000 -18768032411846470171927727/1000000000000000000000000000 -23715432148717304871216569/1000000000000000000000000000 46547031161400992328620407/500000000000000000000000000 -26677999882875189897321637/250000000000000000000000000 48104225852579957033495151/200000000000000000000000000
28911082982710514339834007/1000000000000000000000000000 23889777436558820957866159/1000000000000000000000000000 -54336971414890893292087159/1000000000000000000000000000 -14224070545642337224075661/200000000000000000000000000 -5940966777704826068514711/1000000000000000000000000000 -23045258927751864388449093/200000000000000000000000000 357933634683212221723895049/1000000000000000000000000000 -1724443810925319995756373/100000000000000000000000000 68833616239233988968547187/1000000000000000000000000000 -59366314514130598495437341/1000000000000000000000000000 -9599813497130026603800857/200000000000000000000000000 -97846873152213949841306853/500000000000000000000000000
-20078503610198769958594291/1000000000000000000000000000 -65697264990148934008039637/1000000000000000000000000000 5462784236398834032785763/125000000000000000000000000 -6110823867850977423218103/25000000000000000000000000 -298059377779652704861833/40000000000000000000000000 -18768032411846470171927727/1000000000000000000000000000 -1724443810925319995756373/100000000000000000000000000 170614574445444388737242791/500000000000000000000000000 30047414286254644149351853/1000000000000000000000000000 9812154203055261312867129/250000000000000000000000000 -10620895257841121511434507/500000000000000000000000000 -8275535685360104454147419/200000000000000000000000000
10235032578141079698680501/1000000000000000000000000000 -2822142946795143295873021/200000000000000000000000000 -24048028771662170217987137/200000000000000000000000000 -28291061287147979030523547/200000000000000000000000000 -6511625370273902939260793/250000000000000000000000000 -23715432148717304871216569/1000000000000000000000000000 68833616239233988968547187/1000000000000000000000000000 30047414286254644149351853/1000000000000000000000000000 5851655921255092685236663/15625000000000000000000000 -9836272960800459652255931/250000000000000000000000000 -26160466604774526780359091/500000000000000000000000000 -17976659122685745478911313/250000000000000000000000000
-18573935948023153072558093/250000000000000000000000000 -47552869781594673364618623/200000000000000000000000000 -20985294170633979822604457/500000000000000000000000000 -382467207582303747251700701/1000000000000000000000000000 -39153286236702221930678513/1000000000000000000000000000 46547031161400992328620407/500000000000000000000000000 -59366314514130598495437341/1000000000000000000000000000 9812154203055261312867129/250000000000000000000000000 -9836272960800459652255931/250000000000000000000000000 96633173411638391444126717/250000000000000000000000000 -11053808379257693599381067/250000000000000000000000000 7411591880032014891765927/25000000000000000000000000
20482219929707228368903813/1000000000000000000000000000 41150576989816161802161467/1000000000000000000000000000 -1363607708248591186302039/31250000000000000000000000 65653261565443034068991777/1000000000000000000000000000 -168622221444178433804352167/1000000000000000000000000000 -26677999882875189897321637/250000000000000000000000000 -9599813497130026603800857/200000000000000000000000000 -10620895257841121511434507/500000000000000000000000000 -26160466604774526780359091/500000000000000000000000000 -11053808379257693599381067/250000000000000000000000000 850859822976738816757278163/1000000000000000000000000000 -120292332952101468249704137/1000000000000000000000000000
-17746263978306833779414697/125000000000000000000000000 -267429151036451610103659771/500000000000000000000000000 11101762515960059668344227/1000000000000000000000000000 -207510684998260854290215997/500000000000000000000000000 -98477326048656623988763629/1000000000000000000000000000 48104225852579957033495151/200000000000000000000000000 -97846873152213949841306853/500000000000000000000000000 -8275535685360104454147419/200000000000000000000000000 -17976659122685745478911313/250000000000000000000000000 7411591880032014891765927/25000000000000000000000000 -120292332952101468249704137/1000000000000000000000000000 1049373227276808328402884349/1000000000000000000000000000


--- Term 15 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 8
Matrix dimension   : 4

Flags :
F1 : {1, 2, 3, 5}
F2 : {1, 2, 3, 4, 5}
F3 : {1, 2, 3, 6}
F4 : {1, 2, 3, 4, 6}
F5 : {1, 2, 3, 5, 7}
F6 : {1, 2, 3, 4, 5, 7}
F7 : {1, 2, 3, 6, 7}
F8 : {1, 2, 3, 4, 6, 7}

Basis :
B1 : (F3)-(F1)
B2 : (F4)-(F2)
B3 : (F7)-(F5)
B4 : (F8)-(F6)

Matrix :
525163652694972032188604011/200000000000000000000000000 74466076702270293926758917/50000000000000000000000000 3076933489019195337227965643/1000000000000000000000000000 292818250139726171920749359/500000000000000000000000000
74466076702270293926758917/50000000000000000000000000 827021573391411406264132133/200000000000000000000000000 1937951191254605413816216451/1000000000000000000000000000 640545160525085386078142299/1000000000000000000000000000
3076933489019195337227965643/1000000000000000000000000000 1937951191254605413816216451/1000000000000000000000000000 771785090526516751746031207/100000000000000000000000000 235758817672414488940944361/200000000000000000000000000
292818250139726171920749359/500000000000000000000000000 640545160525085386078142299/1000000000000000000000000000 235758817672414488940944361/200000000000000000000000000 438814273560390988179852857/500000000000000000000000000


--- Term 16 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 6

Flags :
F1  : {0, 1, 2, 3}
F2  : {0, 1, 2, 3, 4}
F3  : {0, 1, 2, 3, 5}
F4  : {0, 1, 2, 3, 4, 5}
F5  : {0, 1, 2, 3, 6}
F6  : {0, 1, 2, 3, 4, 6}
F7  : {0, 1, 2, 3, 5, 6}
F8  : {0, 1, 2, 3, 4, 5, 6}
F9  : {0, 1, 2, 3, 7}
F10 : {0, 1, 2, 3, 4, 7}
F11 : {0, 1, 2, 3, 5, 7}
F12 : {0, 1, 2, 3, 4, 5, 7}
F13 : {0, 1, 2, 3, 6, 7}
F14 : {0, 1, 2, 3, 4, 6, 7}
F15 : {0, 1, 2, 3, 5, 6, 7}
F16 : {0, 1, 2, 3, 4, 5, 6, 7}

Basis :
B1 : (F1)
B2 : (F2)+(F3)+(F5)+(F9)
B3 : (F4)+(F6)+(F11)+(F13)
B4 : (F7)+(F10)
B5 : (F8)+(F12)+(F14)+(F15)
B6 : (F16)

Matrix :
7594295760512127447827187/500000000000000000000000000 20995630066259229327727719/500000000000000000000000000 30017783366235064147088207/1000000000000000000000000000 -151222924084692262800051/1000000000000000000000000000 -32334595737838708015897529/1000000000000000000000000000 -7595800168934771267778249/125000000000000000000000000
20995630066259229327727719/500000000000000000000000000 280204115534767938666501789/1000000000000000000000000000 29498402532405301858057457/500000000000000000000000000 -2532949644835564721759739/100000000000000000000000000 -7314060421225678978632301/62500000000000000000000000 -167998313354985589840115463/1000000000000000000000000000
30017783366235064147088207/1000000000000000000000000000 29498402532405301858057457/500000000000000000000000000 167069765515146396064543671/1000000000000000000000000000 -3039228917279399224595711/200000000000000000000000000 -10655681269006473612385821/125000000000000000000000000 -6004745967091474365543161/50000000000000000000000000
-151222924084692262800051/1000000000000000000000000000 -2532949644835564721759739/100000000000000000000000000 -3039228917279399224595711/200000000000000000000000000 91106455567938864048002607/500000000000000000000000000 -3103376812309959637684967/125000000000000000000000000 151252753583160707154539/250000000000000000000000000
-32334595737838708015897529/1000000000000000000000000000 -7314060421225678978632301/62500000000000000000000000 -10655681269006473612385821/125000000000000000000000000 -3103376812309959637684967/125000000000000000000000000 122954026239312691457689239/1000000000000000000000000000 4042625140885705120531673/31250000000000000000000000
-7595800168934771267778249/125000000000000000000000000 -167998313354985589840115463/1000000000000000000000000000 -6004745967091474365543161/50000000000000000000000000 151252753583160707154539/250000000000000000000000000 4042625140885705120531673/31250000000000000000000000 243113756012046439880852001/1000000000000000000000000000


--- Term 17 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 14
Matrix dimension   : 10

Flags :
F1  : {0, 1, 2, 3, 4}
F2  : {0, 1, 2, 3, 5}
F3  : {0, 1, 2, 3, 4, 5}
F4  : {0, 1, 2, 3, 6}
F5  : {0, 1, 2, 3, 4, 6}
F6  : {0, 1, 2, 3, 5, 6}
F7  : {0, 1, 2, 3, 4, 5, 6}
F8  : {0, 1, 2, 3, 7}
F9  : {0, 1, 2, 3, 4, 7}
F10 : {0, 1, 2, 3, 5, 7}
F11 : {0, 1, 2, 3, 4, 5, 7}
F12 : {0, 1, 2, 3, 6, 7}
F13 : {0, 1, 2, 3, 4, 6, 7}
F14 : {0, 1, 2, 3, 5, 6, 7}

Basis :
B1  : (F2)-(F1)
B2  : (F4)-(F1)
B3  : (F8)-(F1)
B4  : (F5)-(F3)
B5  : (F10)-(F3)
B6  : (F12)-(F3)
B7  : (F9)-(F6)
B8  : (F11)-(F7)
B9  : (F13)-(F7)
B10 : (F14)-(F7)

Matrix :
748424444692652133915162623/1000000000000000000000000000 -334286437490027922520868147/1000000000000000000000000000 -207069003648889892513478837/1000000000000000000000000000 -18051051331438148699982383/250000000000000000000000000 14440840829495954298676477/200000000000000000000000000 -72204202598356790348908893/1000000000000000000000000000 3734089874950576808473087/1000000000000000000000000000 -24307676184484115507646957/500000000000000000000000000 -7232184767808041598374483/1000000000000000000000000000 27923768138572657296138489/1000000000000000000000000000
-334286437490027922520868147/1000000000000000000000000000 74842444441023405222332723/100000000000000000000000000 -207069003820419620108237627/1000000000000000000000000000 36102102483015794600994431/500000000000000000000000000 -72204203754378121060811463/1000000000000000000000000000 18051050660325659244016761/250000000000000000000000000 3734090928698910426514211/1000000000000000000000000000 -7232184147378849093544371/1000000000000000000000000000 -48615352312966394809332111/1000000000000000000000000000 5584753726140955239755121/200000000000000000000000000
-207069003648889892513478837/1000000000000000000000000000 -207069003820419620108237627/1000000000000000000000000000 748424445285423517295721027/1000000000000000000000000000 -564095335366028871427997/7812500000000000000000000 2888168161628045472856397/40000000000000000000000000 72204203191277938651167519/1000000000000000000000000000 -3734090473351552628323459/1000000000000000000000000000 13961883993866526286767703/500000000000000000000000000 27923768377372120390887029/1000000000000000000000000000 -48615352946245800881558731/1000000000000000000000000000
-18051051331438148699982383/250000000000000000000000000 36102102483015794600994431/500000000000000000000000000 -564095335366028871427997/7812500000000000000000000 436650824460736603014755003/250000000000000000000000000 -28713395078371577028219247/62500000000000000000000000 -1287188977656104600230877/2000000000000000000000000 -771122465914483499/500000000000000000000000000 -89165264905422874884011/20000000000000000000000000 2229131830321348653796429/500000000000000000000000000 -2229131777805585589955119/500000000000000000000000000
14440840829495954298676477/200000000000000000000000000 -72204203754378121060811463/1000000000000000000000000000 2888168161628045472856397/40000000000000000000000000 -28713395078371577028219247/62500000000000000000000000 349320659202567847417578003/200000000000000000000000000 -643594488688974497955157161/1000000000000000000000000000 -49545442067199821/200000000000000000000000000 1114565565390675059623719/250000000000000000000000000 -178330459107487836394421/40000000000000000000000000 4458263508682288986187579/1000000000000000000000000000
-72204202598356790348908893/1000000000000000000000000000 18051050660325659244016761/250000000000000000000000000 72204203191277938651167519/1000000000000000000000000000 -1287188977656104600230877/2000000000000000000000000 -643594488688974497955157161/1000000000000000000000000000 174660329689323666623363877/100000000000000000000000000 728550854221114729/1000000000000000000000000000 -4458263473865359962128903/1000000000000000000000000000 4458262186905862687442829/1000000000000000000000000000 4458263880335398462777753/1000000000000000000000000000
3734089874950576808473087/1000000000000000000000000000 3734090928698910426514211/1000000000000000000000000000 -3734090473351552628323459/1000000000000000000000000000 -771122465914483499/500000000000000000000000000 -49545442067199821/200000000000000000000000000 728550854221114729/1000000000000000000000000000 284709196395391859942677893/1000000000000000000000000000 -2641163053012968282529621/250000000000000000000000000 -10564652277124407309178923/1000000000000000000000000000 10564651756640161837980517/1000000000000000000000000000
-24307676184484115507646957/500000000000000000000000000 -7232184147378849093544371/1000000000000000000000000000 13961883993866526286767703/500000000000000000000000000 -89165264905422874884011/20000000000000000000000000 1114565565390675059623719/250000000000000000000000000 -4458263473865359962128903/1000000000000000000000000000 -2641163053012968282529621/250000000000000000000000000 339407615525459851506311763/1000000000000000000000000000 -49362309645419357241543141/250000000000000000000000000 -17744797229298778528757637/250000000000000000000000000
-7232184767808041598374483/1000000000000000000000000000 -48615352312966394809332111/1000000000000000000000000000 27923768377372120390887029/1000000000000000000000000000 2229131830321348653796429/500000000000000000000000000 -178330459107487836394421/40000000000000000000000000 4458262186905862687442829/1000000000000000000000000000 -10564652277124407309178923/1000000000000000000000000000 -49362309645419357241543141/250000000000000000000000000 2715260926390434833434259/8000000000000000000000000 -70979188798779663869833857/1000000000000000000000000000
27923768138572657296138489/1000000000000000000000000000 5584753726140955239755121/200000000000000000000000000 -48615352946245800881558731/1000000000000000000000000000 -2229131777805585589955119/500000000000000000000000000 4458263508682288986187579/1000000000000000000000000000 4458263880335398462777753/1000000000000000000000000000 10564651756640161837980517/1000000000000000000000000000 -17744797229298778528757637/250000000000000000000000000 -70979188798779663869833857/1000000000000000000000000000 339407615806148303987421791/1000000000000000000000000000


--- Term 18 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 6

Flags :
F1  : {}
F2  : {4}
F3  : {5}
F4  : {4, 5}
F5  : {6}
F6  : {4, 6}
F7  : {5, 6}
F8  : {4, 5, 6}
F9  : {7}
F10 : {4, 7}
F11 : {5, 7}
F12 : {4, 5, 7}
F13 : {6, 7}
F14 : {4, 6, 7}
F15 : {5, 6, 7}
F16 : {4, 5, 6, 7}

Basis :
B1 : (F1)
B2 : (F2)+(F3)+(F5)+(F9)
B3 : (F4)+(F6)+(F11)+(F13)
B4 : (F7)+(F10)
B5 : (F8)+(F12)+(F14)+(F15)
B6 : (F16)

Matrix :
0/1 0/1 0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1 0/1 0/1
0/1 0/1 94711674741691279132026561/1000000000000000000000000000 0/1 -1419816622440828510831777/1000000000000000000000000000 0/1
0/1 0/1 0/1 0/1 0/1 0/1
0/1 0/1 -1419816622440828510831777/1000000000000000000000000000 0/1 2334406086686538783627281/1000000000000000000000000000 0/1
0/1 0/1 0/1 0/1 0/1 0/1


--- Term 19 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 14
Matrix dimension   : 10

Flags :
F1  : {4}
F2  : {5}
F3  : {4, 5}
F4  : {6}
F5  : {4, 6}
F6  : {5, 6}
F7  : {4, 5, 6}
F8  : {7}
F9  : {4, 7}
F10 : {5, 7}
F11 : {4, 5, 7}
F12 : {6, 7}
F13 : {4, 6, 7}
F14 : {5, 6, 7}

Basis :
B1  : (F2)-(F1)
B2  : (F4)-(F1)
B3  : (F8)-(F1)
B4  : (F5)-(F3)
B5  : (F10)-(F3)
B6  : (F12)-(F3)
B7  : (F9)-(F6)
B8  : (F11)-(F7)
B9  : (F13)-(F7)
B10 : (F14)-(F7)

Matrix :
417039900389746451669679073/250000000000000000000000000 -417039900389746451669679073/250000000000000000000000000 -659047556574445123/1000000000000000000000000000 -351473261989439196947161573/1000000000000000000000000000 175736631803632003661251263/500000000000000000000000000 -175736632428360210495043681/500000000000000000000000000 0/1 -69955047942175882238746209/500000000000000000000000000 8744380999360600767400763/62500000000000000000000000 -2422424239652153823/1000000000000000000000000000
-417039900389746451669679073/250000000000000000000000000 417039900389746451669679073/250000000000000000000000000 659047556574445123/1000000000000000000000000000 351473261989439196947161573/1000000000000000000000000000 -175736631803632003661251263/500000000000000000000000000 175736632428360210495043681/500000000000000000000000000 0/1 69955047942175882238746209/500000000000000000000000000 -8744380999360600767400763/62500000000000000000000000 2422424239652153823/1000000000000000000000000000
-659047556574445123/1000000000000000000000000000 659047556574445123/1000000000000000000000000000 834079800726060328516726541/500000000000000000000000000 -70294652170404833336911901/200000000000000000000000000 21967078716337617982320817/62500000000000000000000000 351473262135267941225941089/1000000000000000000000000000 0/1 59110298685071871/200000000000000000000000000 388184520637864319/500000000000000000000000000 -139910096912888302912495433/1000000000000000000000000000
-351473261989439196947161573/1000000000000000000000000000 351473261989439196947161573/1000000000000000000000000000 -70294652170404833336911901/200000000000000000000000000 1278001498961847849064373609/1000000000000000000000000000 -82691978658511052143083037/125000000000000000000000000 -61646566724452539328105217/200000000000000000000000000 0/1 -23360522325205386719889581/40000000000000000000000000 584013058425372274672418567/1000000000000000000000000000 -116802611113236717046706541/200000000000000000000000000
175736631803632003661251263/500000000000000000000000000 -175736631803632003661251263/500000000000000000000000000 21967078716337617982320817/62500000000000000000000000 -82691978658511052143083037/125000000000000000000000000 639000750120530856964581229/500000000000000000000000000 -308232838103274756894663287/1000000000000000000000000000 0/1 584013060472283428228038741/1000000000000000000000000000 -292006529987041216547841843/500000000000000000000000000 116802611289221961322757261/200000000000000000000000000
-175736632428360210495043681/500000000000000000000000000 175736632428360210495043681/500000000000000000000000000 351473262135267941225941089/1000000000000000000000000000 -61646566724452539328105217/200000000000000000000000000 -308232838103274756894663287/1000000000000000000000000000 639000749776061449265145971/500000000000000000000000000 0/1 -584013057131027241618344499/1000000000000000000000000000 292006528341890770588140367/500000000000000000000000000 292006529588343241152660129/500000000000000000000000000
0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1
-69955047942175882238746209/500000000000000000000000000 69955047942175882238746209/500000000000000000000000000 59110298685071871/200000000000000000000000000 -23360522325205386719889581/40000000000000000000000000 584013060472283428228038741/1000000000000000000000000000 -584013057131027241618344499/1000000000000000000000000000 0/1 1490697782108834706956751503/500000000000000000000000000 -148836835471895083758126961/50000000000000000000000000 -2329430449540695525223467/1000000000000000000000000000
8744380999360600767400763/62500000000000000000000000 -8744380999360600767400763/62500000000000000000000000 388184520637864319/500000000000000000000000000 584013058425372274672418567/1000000000000000000000000000 -292006529987041216547841843/500000000000000000000000000 292006528341890770588140367/500000000000000000000000000 0/1 -148836835471895083758126961/50000000000000000000000000 46584305706873116182452323/15625000000000000000000000 -582356788885417580838351/250000000000000000000000000
-2422424239652153823/1000000000000000000000000000 2422424239652153823/1000000000000000000000000000 -139910096912888302912495433/1000000000000000000000000000 -116802611113236717046706541/200000000000000000000000000 116802611289221961322757261/200000000000000000000000000 292006529588343241152660129/500000000000000000000000000 0/1 -2329430449540695525223467/1000000000000000000000000000 -582356788885417580838351/250000000000000000000000000 1490697781839073489266245727/500000000000000000000000000

